Gordon

Results: 8418



#Item
91Dependent Types and Fibred Computational Effects Danel Ahman1 (joint work with Neil Ghani2 and Gordon Plotkin1 ) 1 2

Dependent Types and Fibred Computational Effects Danel Ahman1 (joint work with Neil Ghani2 and Gordon Plotkin1 ) 1 2

Add to Reading List

Source URL: danelahman.github.io

- Date: 2018-03-25 20:15:13
    92Bob Heil – K9EID Gordon West – WB6NOA via Skype SEPTEMBER 15

    Bob Heil – K9EID Gordon West – WB6NOA via Skype SEPTEMBER 15

    Add to Reading List

    Source URL: wyominghamcon.org

    - Date: 2018-03-20 18:46:53
      93Dependent Types and Fibred Computational Effects Danel Ahman1 (joint work with Gordon Plotkin1 and Neil Ghani2 ) 1 2

      Dependent Types and Fibred Computational Effects Danel Ahman1 (joint work with Gordon Plotkin1 and Neil Ghani2 ) 1 2

      Add to Reading List

      Source URL: danelahman.github.io

      - Date: 2018-03-25 20:15:13
        94Microsoft Word - MY BROTHER_Gordon_.doc

        Microsoft Word - MY BROTHER_Gordon_.doc

        Add to Reading List

        Source URL: www.bereavedparentsusa.org

        - Date: 2018-01-26 11:15:02
          95Bibliographic Essay on Archives of the Ohara Institute for Social Research Andrew Gordon From Appendex of Labor and Imperial Democracy in Prewar Japan (University of California Press, 1991, pp), shown on the wabs

          Bibliographic Essay on Archives of the Ohara Institute for Social Research Andrew Gordon From Appendex of Labor and Imperial Democracy in Prewar Japan (University of California Press, 1991, pp), shown on the wabs

          Add to Reading List

          Source URL: oohara.mt.tama.hosei.ac.jp

          - Date: 2013-12-24 23:14:31
            96Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

            Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

            Add to Reading List

            Source URL: danelahman.github.io

            - Date: 2018-03-25 20:15:13
              97Challenges in the Specification of Full Contracts ? Gordon J. Pace1 and Gerardo Schneider2 1 2 Department of Computer Science, University of Malta, Malta.

              Challenges in the Specification of Full Contracts ? Gordon J. Pace1 and Gerardo Schneider2 1 2 Department of Computer Science, University of Malta, Malta.

              Add to Reading List

              Source URL: folk.uio.no

              - Date: 2008-11-30 16:29:42
                98Kenneth G. Gordon, 226 N. Washington St., Moscow, IDUnited States of America FEDERAL COMMUNICATIONS COMMISSION EXPERIMENTAL RADIO STATION CONSTRUCTION PERMIT

                Kenneth G. Gordon, 226 N. Washington St., Moscow, IDUnited States of America FEDERAL COMMUNICATIONS COMMISSION EXPERIMENTAL RADIO STATION CONSTRUCTION PERMIT

                Add to Reading List

                Source URL: w5jgv.com

                - Date: 2009-01-18 22:15:17
                  99Type Inference for Static Compilation of JavaScript Satish Chandra∗ Colin S. Gordon† Jean-Baptiste Jeannin∗ Cole Schlesinger∗ Manu Sridharan∗ Frank Tip‡ Youngil Choi§

                  Type Inference for Static Compilation of JavaScript Satish Chandra∗ Colin S. Gordon† Jean-Baptiste Jeannin∗ Cole Schlesinger∗ Manu Sridharan∗ Frank Tip‡ Youngil Choi§

                  Add to Reading List

                  Source URL: manu.sridharan.net

                  - Date: 2018-02-03 20:39:22
                    100Type Inference for Static Compilation of JavaScript (Extended Version) Satish Chandra∗ Colin S. Gordon† Jean-Baptiste Jeannin∗ Cole Schlesinger∗ Manu Sridharan∗ Frank Tip‡ Youngil Choi§

                    Type Inference for Static Compilation of JavaScript (Extended Version) Satish Chandra∗ Colin S. Gordon† Jean-Baptiste Jeannin∗ Cole Schlesinger∗ Manu Sridharan∗ Frank Tip‡ Youngil Choi§

                    Add to Reading List

                    Source URL: arxiv.org

                    - Date: 2016-10-18 20:20:39